منابع مشابه
Genius explained
The physician's art is the catalogue of an exhibition of over 100 images and other objects from the collections of four North Carolina medical schools. In a finely-judged Preface, structured around specific examples shown, Martin Kemp points out some of the historical issues involved in the study of medical imagery and artifacts, beginning with the problem of what "realism" means in the context...
متن کاملStrauss: a Specification Miner
Program verification tools (such as model checkers) are powerful tools for finding errors in programs. Unfortunately, these tools need lots of formal specifications of correct program behavior. Can we really expect programmers to write all of these specifications by hand? This dissertation is about Strauss, a tool I wrote to bring automation to specification-writing. By observing traces of work...
متن کاملOutsider Art from Japan.
all forms of creative production born of an intimate and individual urge, often secretive, unbound from the conventional art system rules. Through short descriptions of the Outsider art work of prominent artists and new protagonists often hosted in community mental health services, this section intends to investigate the latest developments of the contemporary art scene, where the distances bet...
متن کاملThe GENIUS Grid Portal
The architecture and the current implementation of the GENIUS (Grid Enabled web eNvironment for site Independent User job Submission) Grid portal, jointly developed by INFN and NICE srl within the context of INFN Grid and DataGrid projects, is presented and discussed. Particular care is devoted to the description of job creation and submission and the services for transparent access to user’s d...
متن کاملAlgol-Genius
Algol-Genius, an Algol 60 implementation with features from COBOL, was the brainchild of Börje Langefors. In 1964, assembler was the dominant programming language, but Algol-Genius broke that trend among Datasaab D21 customers. Algol-Genius programs were still in production in the late nineties.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Porównania
سال: 2019
ISSN: 1733-165X,1733-165X
DOI: 10.14746/p.2018.23.18709